Buenas,
Antes que nada, soy nuevo en el uso del EVA, por tanto no sé si está previsto
abrir una consulta en el foro por esto. Si no es así, me dirán.

La pregunta es acerca del uso de los símbolos correspondientes a y, o y no (and, or, not)
en las demostraciones de ejercicios, teoremas, etc.

Me refiero a estos símbolos:

¬     not

ʌ     and

v      or

Personalmente, me resulta más cómodo usarlos que escribir "y", "o" o decir "no se cumple tal condición".

Agradezco respuesta, saludos.

Federico Grandi