search

alvarogatenorio / Topologia

Apuntes de Topología
GNU Affero General Public License v3.0
3 stars 0 forks source link

Implicación y equivalencia #6

Closed alvarorgtr closed 7 years ago

alvarorgtr commented 7 years ago

Los comandos \implies y \iff vienen definidos por latex y/o algunos de los paquetes que incluimos. Estos producen flechas más largas y un espaciado ligeramente mejor para las implicaciones que las flechas normales y nuestro comando \sii. Para mi es más legible con estas flechas más largas y abogo por modificar nuestro comando en consecuencia, pero sea como sea hay que acordar un estilo.

alvarogatenorio commented 7 years ago

Creo que los comandos ra y la de nuestro código los definí hace mucho, cuando metía fechas dentro del propio texto (cosa que creo que no se debe hacer, mejor poner expresiones equivalentes en texto en mi opinión).

Actualmente están muertos de risa y solo son utilizados por otros comandos como bra o bla q sirven para ponerlos en cajas para las demostraciones de tipo doble implicación.

No pongo ninguna objeción a la hora de cambiar el contenido de los comandos.

alvarorgtr commented 7 years ago

Lo doy por cerrado pues, en breves commiteo con los comandos arreglados.