Re: [NTG-context] Bussproofs or derivation trees
Hello again,
Temporary I am using a combination of framed and align, see code under. Not
a good solution, but solves my current need.
Is there an easy way to make an inline baseline shift? I want to make a
label for each line, shifted down half a line.
-Trond
\startlinecorrection
\def\borderdt{\mframed[frame=off,
topframe=on,
bottomframe=on,
frameoffset=\dimexpr.254\baselineskip\relax,
height=\lineheight
]}
\def\borderdttop{\mframed[frame=off,
bottomframe=on,
frameoffset=\dimexpr.254\baselineskip\relax,
height=\lineheight
]}
\definehspace[spacedt] [2\emspaceamount]
\startformula
\startalign
\NC \borderdttop{\neg P \vdash \neg Q, P \text{\hspace[spacedt]}} \NC
\borderdttop{ \hspace[spacedt] Q, \neg P \vdash \neg Q} \NR
\NC \borderdt{(P\pil Q), \neg P} \NC \borderdt{\vdash \neg Q}\NR
\NC \borderdt{(P\pil Q)} \NC \borderdt{\vdash (\neg P\pil \neg Q)} \NR
\NC \NC \borderdt{\vdash (P\pil Q)\pil (\neg P\pil \neg Q)\pil R} \NR
\stopalign
\stopformula
\stoplinecorrection
On Thu, Sep 4, 2014 at 9:11 PM, Trond Thorbjørnsen tthorb+...@gmail.com
wrote:
Hello,
I have searched for a solution for making proof trees, but I have failed
to find a working setup.
Does anyone know of a solution?
I have used bussproofs.sty with LaTeX, and have seen that discussed on
this list some years ago:
http://www.ntg.nl/pipermail/ntg-context/2010/051489.html
(How) can I use this package in ConTeXt?
I have also looked at this metapost package, but it seems this package
relies deeper on LaTeX:
http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp
Have anyone other suggestions?
--
Trond Thorbjørnsen
___
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___
[NTG-context] Bussproofs or derivation trees
Hello, I have searched for a solution for making proof trees, but I have failed to find a working setup. Does anyone know of a solution? I have used bussproofs.sty with LaTeX, and have seen that discussed on this list some years ago: http://www.ntg.nl/pipermail/ntg-context/2010/051489.html (How) can I use this package in ConTeXt? I have also looked at this metapost package, but it seems this package relies deeper on LaTeX: http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp Have anyone other suggestions? -- Trond Thorbjørnsen ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___
[NTG-context] grid + description + superscript
Superscript in math in a description, results in a blank line, see the example.
Is there a way to avoid this?
-Trond Thorbjørnsen
\setuplayout[grid=yes]
\definedescription[desc][
inbetween={\blank[none]},
before={\blank[none]},
after={\blank[none]},
margin=no,
]
\starttext
\desc{foo} bar baz
\desc{foo} bar baz
\desc{foo} bar $x_j$ baz
\desc{foo} bar baz
\desc{foo} bar baz \par
\stoptext
___
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___
[NTG-context] SyncTeX
Is MKIV still not working with SyncTeX? http://wiki.contextgarden.net/SyncTeX -- Trond Thorbjørnsen ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___
Re: [NTG-context] SyncTeX
Hei Mojca, Mojca Miklavec skrev 03.06.2014: On Tue, Jun 3, 2014 at 11:44 AM, Trond Thorbjørnsen wrote: Is MKIV still not working with SyncTeX? http://wiki.contextgarden.net/SyncTeX Using: context --synctex filename.tex works for me. Thank you for the reply, that was what I thought. Then it is probably only my view settings in emacs that is wrong. (And the sentence SyncTeX currently does not work with MKIV. should probably be removed from wiki.contextgarden :) ) -Trond Mojca ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / https://heim.ifi.uio.no/trondth/.t/pm06Gceaq3.php (..)ntg.nl(..) webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : https://heim.ifi.uio.no/trondth/.t/Xo1s69g0pG.php (..)foundry.supelec.fr(..) wiki : http://contextgarden.net ___ ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___
[NTG-context] interword spacing
Hi, Is there a way to represent spaces explicitly with context, as described here: http://tex.stackexchange.com/questions/21053/xelatex-and-missing-spaces-in-pdf-text Certain fonts, for example Minion Pro, have small little interword spacing. This is a problem for highlighting on Goodreader on ipad. -Trond ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___
Re: [NTG-context] interword spacing
Hans Hagen skrev 16.05.2014: On 5/16/2014 10:31 AM, Trond Thorbjørnsen wrote: Hi, Is there a way to represent spaces explicitly with context, as described here: https://heim.ifi.uio.no/trondth/.t/PK7ks9TsPC.php (..)tex.stackexchange.com(..) Certain fonts, for example Minion Pro, have small little interword spacing. This is a problem for highlighting on Goodreader on ipad. There is but only as part of the export. I've added an option for regular pdf's: \setupbackend[space=yes] So you can use that in the next beta. Thank you for the quick reply. I will try this in the next beta. -Trond ___ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___
