<\body> Implication: > Equivalence: > Quantifier: > \ y Reals: > N,Z rem, true, false > <\initial> <\collection>