ways to end proofs: ">implying otherwise", ‣ for short

twocubes:

“nya”

“-desu”