#42 Símbolos

[Sebastián Lacuesta]

Existen varios símbolos que se utilizan para los conectores lógicos (http://es.wikipedia.org/wiki/Tabla_de_s%C3%ADmbolos_matem%C3%A1ticos#L.C3.B3gica_proposicional). El usuario podrá configurar la visualización de los conectores de diferentes maneras. Una vez configurado, el usuario podrá escribir una expresión y que los conectores se transformen automáticamente en su símbolo correspondiente.
Una base para este requerimiento se puede observar en ProofGeneral que se integra con el paquete X-Symbol (http://x-symbol.sourceforge.net/)