The rustex from slatex

User reported ERROR kwarc/slides/projectplan.en.xhtml

A content ERROR was logged by "Philipp Hofmann" at the following url:

https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=hckrrx.j5vi07%7E6d09529a

The issue as described by the user:

Left and right bar are either scaled wrong or moved too high

The text highlighted while reporting this issue:

Overview: KWARC Research and Projects
          
          
                          Applications:
eMath 3.0, Active Documents, Active Learning, Semantic Spreadsheets/CAD/CAM, Change Mangagement, Global Digital Math Library, Math Search Systems,

                                        SMGloM
                                      : Semantic Multilingual Math Glossary, Serious Games, ...
                        
                          Foundations of Math:
                          
                            ▷
                                        MathML
                                      ,

                                        OpenMath
                                      
                              
                            
                            ▷advanced Type Theories

                            
                            ▷Mmt: Meta Meta Theory

                            
                            ▷Logic Morphisms/Atlas

                            
                            ▷Theorem Prover/CAS Interoperability

                            
                            ▷Mathematical Models/Simulation

                            
                            
                          
                          KM & Interaction:
                          
                            ▷Semantic Interpretation (aka. Framing)

                            
                            ▷math-literate interaction

                            
                            ▷
                                        MathHub
                                      : math archives & active docs

                            
                            ▷Active documents: embedded semantic services

                            
                            ▷Model-based Education

                            
                            
                          
                          Semantization:
                          
                            ▷
                                        LATEXML
                                      :

                                          LATEX
                                        →
                                        XML
                                      
                              
                            
                            ▷
                                        STEX
                                      : Semantic

                                        LATEX
                                      
                              
                            
                            ▷invasive editors

                            
                            ▷Context-Aware IDEs

                            
                            ▷Mathematical Corpora

                            
                            ▷Linguistics of Math

                            
                            ▷ML for Math Semantics Extraction

                            
                            
                          
                          Foundations: Computational Logic, Web Technologies,

                                      OMDoc
                                    /Mmt
                              
                        
          
          
          
            STEX :
42023-10-16

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

defined-piecewise has no array

I see

in smglom/mv/source/mod/piecewise.en.tex The array stuff seems to be missing.

Fix code background (highlight?)

Example:
https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/prolog/slides/facts-rules.en.tex

Issue:

Expected:

add a good readme.

So I can reference it from the sTeX README

listings with otherkeywords which start with `=` break RusTeX

minimal example I could find, working on the current master f166e3a:

\documentclass{article}

\usepackage{listings}
\lstdefinelanguage{Bad}{otherkeywords={=>}}

\begin{document}
\begin{lstlisting}[language=Bad]
hello
\end{lstlisting}
\end{document}

produces

File ended unexpectedly


/path/to/repo/RusTeX/rustex/test.tex (10;0)   0: rustex::commands::conditionals::false_loop
   1: core::ops::function::FnOnce::call_once
   2: rustex::commands::PrimitiveTeXCommand::get_expansion
   3: rustex::commands::TeXCommand::expand
   4: rustex::interpreter::Interpreter::do_top
   5: rustex::interpreter::Interpreter::do_vfile
   6: rustex::interpreter::Interpreter::do_file
   7: rustex::run
   8: std::sys_common::backtrace::__rust_begin_short_backtrace
   9: core::ops::function::FnOnce::call_once{{vtable.shim}}
  10: <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
             at /rustc/cc66ad468955717ab92600c770da8c1601a4ff33/library/alloc/src/boxed.rs:2007:9
      <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once
             at /rustc/cc66ad468955717ab92600c770da8c1601a4ff33/library/alloc/src/boxed.rs:2007:9
      std::sys::unix::thread::Thread::new::thread_start
             at /rustc/cc66ad468955717ab92600c770da8c1601a4ff33/library/std/src/sys/unix/thread.rs:108:17
  11: start_thread
  12: __clone3

if you exchange the otherkeywords={=>} with e.g. otherkeywords={->} or even otherkeywords={<=} it works as expected (with LaTeX, all three work). Perhaps something got expanded in an unexpected place, where the = caused confusion? Unfortunately, i'm not sure how to figure out where / what RusTeX was doing before it failed, so I can't investigate this further.

(I discovered this since the listings package's definition for Haskell includes this)

square roots generate funny MathML and -- does not work either.

I see

for smglom/arithmetics/source/mod/natarith.en.tex This has two errors.

the mathml root is very much off (see below)
the -- should become a longer dash

\models and and \not\models do not work yet.

In https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU
we get

this probably needs a systematic patch

Fix table rendering

Example:
https://gl.mathhub.info/MiKoMH/talks/-/blob/main/source/kwarc/slides/projectplan.en.tex

Issue:

Expected:

Fix tikz rendering

Sample error:
https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/intro/tikz/ai-state.en.tex
in
https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/intro/slides/ai-state.en.tex

Error

Expected

xrightarrow not nice

In MiKoMH/AI/source/game-play/slides/game-formalization.en.tex we see

It comes from
\symdef{withaction}[args=3]{#2\xrightarrow{#1}#3}

HTML niggles

Under https://courses-staging.kwarc.info/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-pg601z.jhz12z
the numbering CSS is off:

\sref links do not seem to linebreak, e.g. in https://courses-staging.kwarc.info/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-pg601z.6rrvde.h9wg49

more space between slides in one file, e.g. in https://courses-staging.kwarc.info/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-pg601z.6rrvde.h9wg49

broken arrow in https://courses-staging.kwarc.info/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-9gxrd5.-3r20xk.m7b309

definition outside \item in https://courses-staging.kwarc.info/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-pwo4h7.ybtct9.-84btu4

Two smaller bugs

Toying around with latest from 2023-07-13, I found:

\documentclass{article}
\begin{document}

Backslash-Space works in text mode but not math mode: x\ 678.

\[
  x\ 678
\]

This $y$ should be italic:

\[
  3y
\]
\end{document}

Formatting Error

A content ERROR was logged by "Philipp Hofmann" at the following url:

https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=-xsjx0y.wpwfyn%7E5b6b26ef

The issue as described by the user:

The Slide in the Lecture has the 50% on the left side and the Consumer  tasks above the 10^6

The text highlighted while reporting this issue:

Precision 100% Producer Tasks 50% Consumer Tasks 103±1 Concepts 106±1 Concepts Coverage

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

tikzpictures which set `overlay` are invisible

While playing around with the latest git (3a62360), I stumbled across an interesting (though in practice, probably not often relevant) divergence between pdf & html output:

Here is a box:
\begin{tikzpicture}
\draw (0,0) -- (1,0) -- (1,1) -- (0,1) -- cycle;
\end{tikzpicture}

produces a box in the html:

but if the tikzpicture has the overlay option set:

Here is a box:
\begin{tikzpicture}[overlay]
\draw (0,0) -- (1,0) -- (1,1) -- (0,1) -- cycle;
\end{tikzpicture}

then the box is gone:

In the html, the svg it was translated to is actually still there — but with width & height set to 0, and hence invisible. I'm not sure how much can be done about it (the tikz manual states that setting overlay turns off computation of the bounding box, which it seems would be needed here), and tbh I was beyond impressed that anything tikz-related works at all; but I still thought I'd let you know in case you're not aware of it already / it is something that can be fixed by someone more familiar with RusTeX's internal workings.

(as a short postscript: this was discovered when someone asked me 'but does the coffeestains package work?' — the answer turned out to be yes, but only by using the 'internal' \stainA, \stainB by hand in a tikzpicture; \coffeestainA & friends as given in the documentation set overlay & hence fail)

Support for multi-slide documents

For Example 5 slides need to be generated for the following document:
https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/intro/slides/aiexists.en.tex

Build failure due to image crate version mismatch

Latest master (eebf676) fails to build with following error:

$cargo build
…
error[E0308]: mismatched types
   --> src/lib.rs:213:45
    |
213 |                         Ok(mut bmp) => Some(bmp.as_image()),
    |                                        ---- ^^^^^^^^^^^^^^ expected `DynamicImage`, found `image::dynimage::DynamicImage`
    |                                        |
    |                                        arguments to this enum variant are incorrect
    |
    = note: `image::dynimage::DynamicImage` and `DynamicImage` have similar names, but are actually distinct types
note: `image::dynimage::DynamicImage` is defined in crate `image`
   --> /home/rajeesh/.cargo/registry/src/index.crates.io-6f17d22bba15001f/image-0.24.9/src/dynimage.rs:55:1
    |
55  | pub enum DynamicImage {
    | ^^^^^^^^^^^^^^^^^^^^^
note: `DynamicImage` is defined in crate `image`
   --> /home/rajeesh/.cargo/registry/src/index.crates.io-6f17d22bba15001f/image-0.25.1/src/dynimage.rs:50:1
    |
50  | pub enum DynamicImage {
    | ^^^^^^^^^^^^^^^^^^^^^
    = note: perhaps two different versions of crate `image` are being used?
help: the type constructed contains `image::dynimage::DynamicImage` due to the type of the argument passed
   --> src/lib.rs:213:40

Cargo.lock contains two crates of image, versions 0.24.9 and 0.25.1, probably pulled by different dependent crates.

randomly inserted mathcal.

Abhishek noticed that for MiKoMH/AIquiz/source/quiz/grammar1.en.tex
But the source is clean, and the PDF shows it differently:

but the PDF shows:

Note that this comes from the genereated problem.