Miscellany

Miscellaneous stuff. Test posts for typesetting magics.

@test 5