Unicode, algebraicise comment
Rank->rank, moar comments
isomorphisms
unicode!
arrow
More comments
Merge pull request #108 from eggrobin/unicode

Unicode