DOC: Begin to include formulae using LaTeX in API manual

[skip ci]
tulip-control · Jul 24, 2015 · 457827a · 457827a
1 parent 8b1a8ba
commit 457827a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/doc/Doxyfile b/doc/Doxyfile
@@ -13,3 +13,5 @@ VERBATIM_HEADERS       = NO
 SORT_BRIEF_DOCS        = YES
 SORT_MEMBER_DOCS       = YES
 HTML_EXTRA_STYLESHEET  = gr1cdoc.css
+FORMULA_FONTSIZE       = 14
+EXTRA_PACKAGES         = amsmath amssymb
diff --git a/doc/api_intro.md b/doc/api_intro.md
@@ -46,6 +46,12 @@ removing comments.
     SYSTRANS:;
     SYSGOAL: []<>(y&x) & []<>(!y);
 
+which is represented by the LTL formula
+\f[
+
+\left( \neg x \wedge \Box \left( x \leftrightarrow \neg x' \right) \wedge \Box \rotatebox[origin=c]{45}{$\Box$} x \right) \implies \left( y \wedge \Box \rotatebox[origin=c]{45}{$\Box$} (y \wedge x) \wedge \Box \rotatebox[origin=c]{45}{$\Box$} \neg y \right).
+
+\f]
 The only environment variable is `x`, and the only system variable is `y`; both
 are Boolean-valued.  We require that initially `x` is `False` and `y` is `True`.
 Given the assumption that the environment will infinitely often set `x` to