completed aaliou3
math symbol tweaks
permute ackbij* lemmata
infrastructure for managing math tokens
compatibility tweaks, add slightly nicer math symbols
a better square