Prelude - bruno-lang/alma GitHub Wiki
are the following aliases for character sets:
-t = [{9}]
-n = [{10}]
-r = [{13}]
-_ = [{0-#7FFFFFFF}]
-s = [{9-13} {32}]
-Z = [{'A'-'Z'}]
-z = [{'a'-'z'}]
-1 = [{'0'-'1'}]
-7 = [{'0'-'7'}]
-9 = [{'0'-'9'}]
-F = [9 {'A'-'F'}]
-apostrophe = [{39}]