Commit graph

7 commits

Author SHA1 Message Date
C. Scott Ananian 209f3218ad Regularize spacing in texvc and texvccheck
Tweak the position of spaces between function invocations and arguments
so that the expansion of mediawiki-specific functions (`\Rho`, etc) is
consistent with how spacing is added to normal function invocations.

This helps ensure that `texvc`/`texvccheck` is idempotent -- that is,
that it can parse what it emits, and render it without change.

Change-Id: I05fc8fa0201debf611ed4900d3cc953a6a8188ac
2014-10-12 22:04:41 +02:00
C. Scott Ananian e38a70ef9e Some commands should require arguments in texvc and texvccheck
The \overbrace, \overleftarrow, \overleftrightarrow, \overline,
\overrightarrow, \underbrace, \underline, \widehat, and \widetilde
commands take a single mandatory argument.  Move \overbrace and
\underbrace to the fun_ar1nb list, since they handle trailing
subscripts and superscripts specially.  Move the other functions to
the fun_ar1 list.

Change-Id: I449c8611eeb2eaa7ccb30d3b325975868a160f95
2014-10-12 21:31:36 +02:00
C. Scott Ananian b8161615f4 Switch to text mode before emitting \AA or \textvisiblespace.
The \AA and \textvisible space commands aren't valid in math mode.
Surround them with \mbox so that we switch to text mode before
emitting them.

Change-Id: I36c23c80751401be4bbce6aca6c3333912f67add
2014-10-12 21:18:25 +02:00
C. Scott Ananian 0c3f9d69fe Bug fix for \varcoppa in texvccheck
A backslash was missing from the translation of `\varcoppa`.

Change-Id: Ic987f1a67ac73395d7ee16e7f8bcd38a6bad6e11
2014-07-23 16:06:48 +00:00
C. Scott Ananian a25078ff9d Remove unused empty production for litsq_zq in texvccheck
It is impossible to take the empty alternative for this production,
since any input which matches `litsq_aq` would instead match `lit_aq`
if the empty alternative is used.  In addition, there is no action
clause for the empty alternative, so it wouldn't typecheck if the
empty alternative was possible.

This has no effect on the generated parser, but clarifies the grammar
(and makes ports easier!).

Change-Id: I32c85d2c74ab047b4b52401248d5dc7fc3201705
2014-07-23 16:06:13 +00:00
C. Scott Ananian b7069ade90 Fix comment in texvccheck.ml
Change-Id: I8fae697e073d3807896223dba880a2058732e778
2014-07-23 15:55:32 +00:00
Physikerwelt 4c9dc2f08e Breakdown of texvc
texvc had several tasks in the past:

1 checking the input
2 convert MediaWiki custom syntax to standard LaTeX
3 run LaTeX
4 convert dvi2png

This change provides a simplified version that performs
only steps 1+2. This is required to avoid security problems
with tools like MathJax, especially if these tools are
run at the server-side.

Bug: 54624
Change-Id: I1650e6ec2ccefff6335fbc36bbe8ca8f59db0faa
2013-12-14 18:34:15 +00:00