From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rustom Mody Subject: vertical space Date: Fri, 31 Jan 2014 09:47:27 +0530 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7b15a96fd637a304f13c743f Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54531) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W95Y6-0003u7-9P for emacs-orgmode@gnu.org; Thu, 30 Jan 2014 23:17:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W95Y5-0002gc-7E for emacs-orgmode@gnu.org; Thu, 30 Jan 2014 23:17:50 -0500 Received: from mail-pa0-x22c.google.com ([2607:f8b0:400e:c03::22c]:55048) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W95Y4-0002gY-Vs for emacs-orgmode@gnu.org; Thu, 30 Jan 2014 23:17:49 -0500 Received: by mail-pa0-f44.google.com with SMTP id kq14so3990386pab.3 for ; Thu, 30 Jan 2014 20:17:47 -0800 (PST) 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: emacs-orgmode --047d7b15a96fd637a304f13c743f Content-Type: text/plain; charset=ISO-8859-1 Im having an issue with inconsistent vertical space If I do latex export \\es at eol produce blank lines However with html export they appear in output but not consistently org version 8.2.5e emacs version 24.3.1 Below a cut-down version from a file I see it happening ------------ #+TITLE: Equational Reasoning in Logic #+AUTHOR: Rusi #+OPTIONS: toc:nil * Object and Meta language Look at the following proof #+ATTR_LATEX: :mode math :environment flalign P \wedge (Q \vee P)\\ " \wedge distributes over \vee " \\ = (P \wedge Q) \vee (P \wedge Q) \\ " Idempotence of \vee " \\ = P \wedge Q \\ \\ \\ Observe that: - Each proof step has an expression - Each step also carries an implicit statement, that the given expression is $True$ . So, in the first step, we have an implicit statement: P \wedge (Q \vee P) = True ----------------- --047d7b15a96fd637a304f13c743f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Im having an issue with inconsistent vertical space
If I do latex export \\es at eol produce blank lines
However with html export they appear in output but not consistentl= y
org version 8.2.5e
emacs version 24.3.1
<= div>
Below a cut-down version from a file I see it happening
--= ----------
#+TITLE: Equational Reasoning in Logic
#+AUTHOR: Rusi
#+OPTIONS: toc:nil
* Object and Meta language
Look at the following p= roof

#+ATTR_LATEX: :mode math :environment flalign
P \wedge (Q \v= ee P)\\
" \wedge distributes over \vee " \\
=3D (P \wedge Q= ) \vee (P \wedge Q) \\
" Idempotence of \vee " \\
=3D=A0 P \wedge Q \\
=A0\\
= =A0\\
Observe that:
- Each proof step has an expression
- Each ste= p also carries an implicit statement, that the given expression is $True$ .= So, in the first step, we have an implicit statement:=A0 P \wedge (Q \vee = P) =3D True
-----------------
--047d7b15a96fd637a304f13c743f--