Hola Federico,

No hay problema si querés usar esos símbolos en las entregas o en el examen. Es una notación muy usada sobre todo en Lógica y Fundamentos, aunque no tanto en otras áreas.
Sobre el uso del foro, este está abierto a cualquier consulta que quieran hacer.

Saludos