mockingbirdnest/Principia — pull request #108 by eggrobin (2014-06-22 12:26:39+00:00)
Title: Unicode

More comments, `Rank` → `rank`.