From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rasmus Subject: Re: org-mode pretty entities has \perp but not \parallel Date: Wed, 19 Nov 2014 14:56:41 +0100 Message-ID: <87vbmbcmzq.fsf@gmx.us> References: <87bno64s9m.fsf@uw.edu> <87d28mw2v2.fsf@gmx.us> <87r3x026q4.fsf@uw.edu> <87vbmcygoh.fsf@gmx.us> <87k32s22vt.fsf@uw.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49782) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xr5kg-0007Vq-4j for emacs-orgmode@gnu.org; Wed, 19 Nov 2014 08:57:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Xr5ka-0003va-7y for emacs-orgmode@gnu.org; Wed, 19 Nov 2014 08:56:58 -0500 Received: from mout.gmx.net ([212.227.15.18]:62070) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xr5kZ-0003uj-Ud for emacs-orgmode@gnu.org; Wed, 19 Nov 2014 08:56:52 -0500 In-Reply-To: <87k32s22vt.fsf@uw.edu> (Brady Trainor's message of "Tue, 18 Nov 2014 02:56:38 -0800") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: algebrat@uw.edu Cc: emacs-orgmode@gnu.org Brady Trainor writes: >> I think they are not the same. I'd use $\|x\|_2$ for a norm, say. >> Parallel is a relation: $a\parallel b$. > > Ah yes. Now this \| makes more sense.=20 Great!=20 >> If you want to go "all in", which is a lot of fun, you have to submit a >> TINY PATCH: >> >> http://orgmode.org/worg/org-contribute.html >>=20 > Yes please do submit when you have the time, though I will try to get > closer to being setup for this when I can. (E.g., I'm currently on > Elpa Org-mode... and my commits are mostly linear for personal files.) Pushed. My "work Org" (is /usr/share/emacs/site-lisp) is different from my "develop Org" checkout (in ~/src/org-mode), though both are based on master. Feel free to come back and contribute some more later! =E2=80=94Rasmus --=20 Bang bang