Logic - 2018-11-25

« first day (830 days earlier) ← previous day next day → last day (2282 days later) »

user21820

04:57

@Holo So you have basically stumbled on an important problem in both practical and theoretical computer science, namely prefix-free encoding. =)

I'm not too sure why you consider putting spaces after the hotstring to be a problem, since you need to do that when typing LaTeX anyway, so it will feel very natural to you. No?

Holo

05:26

@user21820 yes, but still! Think about the amount of energy I'll waste in a life time!!

@user21820 :P

user21820

@Holo Lol! You will save a lot by using shorter command names. For example I use "\wi" for "⊆" and "\co" for "⊇" and "\imp" for "⇒" and "\eq" for "⇔".

Holo

Good point!(although I can't use \co, I have \coprod command for disjoint union)

user21820

6 char is too long. =P

Holo

I also have \equiv for equivalent (3 too long!)

I'll have to go through everything I have done today!

user21820

You mean go through all your hotstrings? Reminds me of an XKCD...

Oh there are two of them: