• Top
    • Documentation
      • Xdoc
        • Undocumented
        • Save
        • Defsection
        • Markup
        • Preprocessor
        • Terminal
        • Emacs-links
        • Defxdoc
        • Katex-integration
        • Constructors
        • Entities
          • Defxdoc+
          • Save-rendered
          • Add-resource-directory
          • Testing
          • Order-subtopics
          • Save-rendered-event
          • Archive-matching-topics
          • Archive-xdoc
          • Xdoc-extend
          • Set-default-parents
          • Missing-parents
          • Defpointer
          • Defxdoc-raw
          • Xdoc-tests
          • Xdoc-prepend
          • Defsection-progn
          • Gen-xdoc-for-file
        • ACL2-doc
        • Recursion-and-induction
        • Loop$-primer
        • Operational-semantics
        • Pointers
        • Doc
        • Documentation-copyright
        • Course-materials
        • Args
        • ACL2-doc-summary
        • Finding-documentation
        • Broken-link
        • Doc-terminal-test-2
        • Doc-terminal-test-1
      • Books
      • Boolean-reasoning
      • Projects
      • Debugging
      • Std
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Xdoc
    • Xdoc-tests

    Entities

    HTML entity support in XDOC.

    Entities that XDOC allows:

    Normal XML entities:

    • & becomes &
    • &lt; becomes <
    • &gt; becomes >
    • &quot; becomes "
    • &apos; becomes '

    Additional basic and math entities allowed by XDOC:

    • &nbsp; becomes   (that is, a single space)
    • &mdash; becomes —
    • &larr; becomes ←
    • &rarr; becomes →
    • &harr; becomes ↔
    • &lang; becomes ⟨
    • &rang; becomes ⟩
    • &hellip; becomes …
    • &lsquo; becomes ‘
    • &rsquo; becomes ’
    • &ldquo; becomes “
    • &rdquo; becomes ”
    • &and; becomes ∧
    • &or; becomes ∨
    • &not; becomes ¬
    • &ne; becomes ≠
    • &le; becomes ≤
    • &ge; becomes ≥
    • &mid; becomes ∣
    • &times; becomes ×

    Capitalized Greek letters:

    • &Alpha; becomes Α
    • &Beta; becomes Β
    • &Gamma; becomes Γ
    • &Delta; becomes Δ
    • &Epsilon; becomes Ε
    • &Zeta; becomes Ζ
    • &Eta; becomes Η
    • &Theta; becomes Θ
    • &Iota; becomes Ι
    • &Kappa; becomes Κ
    • &Lambda; becomes Λ
    • &Mu; becomes Μ
    • &Nu; becomes Ν
    • &Xi; becomes Ξ
    • &Omicron; becomes Ο
    • &Pi; becomes Π
    • &Rho; becomes Ρ
    • &Sigma; becomes Σ
    • &Tau; becomes Τ
    • &Upsilon; becomes Υ
    • &Phi; becomes Φ
    • &Chi; becomes Χ
    • &Psi; becomes Ψ
    • &Omega; becomes Ω

    Lower case Greek letters:

    • &alpha; becomes α
    • &beta; becomes β
    • &gamma; becomes γ
    • &delta; becomes δ
    • &epsilon; becomes ε
    • &zeta; becomes ζ
    • &eta; becomes η
    • &theta; becomes θ
    • &iota; becomes ι
    • &kappa; becomes κ
    • &lambda; becomes λ
    • &mu; becomes μ
    • &nu; becomes ν
    • &xi; becomes ξ
    • &omicron; becomes ο
    • &pi; becomes π
    • &rho; becomes ρ
    • &sigma; becomes σ
    • &tau; becomes τ
    • &upsilon; becomes υ
    • &phi; becomes φ
    • &chi; becomes χ
    • &psi; becomes ψ
    • &omega; becomes ω

    Mathematical symbols:

    • &forall; becomes ∀
    • &exist; becomes ∃
    • &empty; becomes ∅
    • &isin; becomes ∈
    • &notin; becomes ∉
    • &prod; becomes ∏
    • &sum; becomes ∑

    A few tests

    Test of `single' and ``double'' smart quoting for legacy topics.

    Test of ‘single’ and “double” smart quoting for regular old entities.

    Test of `single' and ``double'' quotes in a <tt> tag and in a <code> tag:

    `single' and ``double''

    Test of `single' and ``double'' quotes in inline preprocessor stuff, and in preprocessor blocks here:

    `single' and ``double'' quotes !

    Test of primes in math: foo' and

    foo'

    That should probably about do it.