Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

pp-non-zippable

6 years ago
2d108ad7
Let powerset have its own fancy unicode symbol · 2d108ad7
Hans-Peter Deifel authored 6 years ago
```
Allow to use the unicode codepoint "LETTER CAPITAL P WITH HOOK" as
powerset functor symbol.
```
2d108ad7

History
Let powerset have its own fancy unicode symbol
Hans-Peter Deifel authored 6 years ago
```
Allow to use the unicode codepoint "LETTER CAPITAL P WITH HOOK" as
powerset functor symbol.
```