Comment by mrwebmaster

I do, but not for language learning, but for mathematical proofs and logic proofs. Example "Prove that the dot product between 2 unit vectors is cos θ".