[isabelle] Symbols: \<longleftrightarrow> vs. <->



Hi,

a very small question. I noticed in some theories,
"\<longleftrightarrow>" was replaced by "<->". Is there a specific
reason for this? Should I just prefer "<->" in future?

Best Regards,
  Cornelius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.