\*
(?![* ])
\$\(.*|\$[)d]
\$=
h(?=[^: *$])
qed
\w+(?=[:, ])
([EAUXCeo]\.|[UXC]_|\|^\|_|~P|suc|ran|dom|iota_?|=|\|-|wff|class|set)(?!\S)
([A-Z]|ph|ps|ch|th|ta|et|ze|si|rh|mu|la|ka)(?!\S)
[a-z](?!\S)
(_[EVI]|\(/\)|On|om|Fin|Undef|sup|rank|card|aleph|sqr|cf|1st|2nd)(?!\S)
(\+(o|c|N|P\.|p?[QR])|\.(o|N|p?[QR]|P\.)|[NQPRx]\.|<[NQPR]|~[QR]|1[PQR]|0R|-1R|\*Q)(?!\S)
(CC|RR[+*]?|NN0?|ZZ|QQ|[01]|_i|\+|<(RR|pQ)|\d|[12]o|/Q)(?!\S)
\$.
(
)
([A-Z]+|\?)(?!\S)
[a-z0-9]\S+
(?=[^:,])[^:, ]+(?=[:,])
[^ :]*(?!\S)