I’m using your question as an excuse to improve and demo a Haskell call-tracing library I’m working on. In the context of tracing, an obvious way to create a proof tree is to trace a type checker and then format the trace as a natural-deduction proof. To keep things simple my example logic is the … Read more
Use \interfootnotelinepenalty=10000 to totally disallow this. But be prepared for other layout artifacts… Setting the penalty lower than 10000 will give TeX some flexibility in deciding when the side effects are too bad to bear. For a detailed discussion see the TeX FAQ item Why does LaTeX split footnotes across pages?
Using \begin{minipage}{0.35\textwidth} %left column … \end{minipage} \hfill\vline\hfill \begin{minipage}{0.55\textwidth} %right column … \end{minipage} Works without needing to change to parbox and staying with minipage.
After installing tcolorbox using LaTex’s package manager tlmgr, I was getting similar errors for other dependencies. The solution below worked for me on Ubuntu 18.04 (64 bit) at the terminal: tlmgr update –all –self tlmgr install tcolorbox tlmgr install pgf tlmgr install xcolor tlmgr install environ tlmgr install trimspaces tlmgr install mathpazo tlmgr install parskip … Read more
Currently there is no extension for VSCode that does that, it may possible though see: issue. A good starting point will be to use something like: LaTeX Workshop’s preview to display/overlay them over comments or something like that.
Absolutely: au FileType tex,latex,context,plaintex nm <C-H> <Plug>IMAP_JumpForward Some thoughts: Should be using a buffer local mapping instead of a global mapping Using short names has only cons and zero pros. Don’t. This autocmd should be in a group Autocmd’s should be cleared (inside a group) so that re-sourcing is not a problem Maybe use a … Read more
The parameter that controls inter-paragraph spacing is called \parskip(See Paragraph Spacing ). You set it (with “rubber” values) using something like: \setlength{\parskip}{1cm plus4mm minus3mm} The defualt value of \parskip is class dependent. The “plus” and “minus” parts tell TeX how much it can adjust the value to improve the layout (that is they make the … Read more
All programs that allegedly convert a document from LaTeX to some word-processing format will lose some information that was there in the original, but apparently you’re willing to live with that. Here’s one trick that may or may not be suitable for your purposes: if latex2rtf does a good enough conversion (I have no idea … Read more
Here’s what I use, which was mostly cribbed from Luca de Alfaro: (defun fill-sentence () (interactive) (save-excursion (or (eq (point) (point-max)) (forward-char)) (forward-sentence -1) (indent-relative t) (let ((beg (point)) (ix (string-match “LaTeX” mode-name))) (forward-sentence) (if (and ix (equal “LaTeX” (substring mode-name ix))) (LaTeX-fill-region-as-paragraph beg (point)) (fill-region-as-paragraph beg (point)))))) I bind this to M-j with (global-set-key … Read more