Badge

 Editor First edit.

Riccardo earned this badge

oct 29 '11 at 15:34
Typeset a solidus operator (free variable substitution)

Others with this badge