• 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
            • Entities
              • Xdoc-test-order-subtopics-flg
              • Order-test-w
              • Order-test-s
              • Order-test-r
              • Order-test-o
              • Order-test-k
            • Xdoc-prepend
            • Defsection-progn
            • Gen-xdoc-for-file
          • ACL2-doc
          • Recursion-and-induction
          • Loop$-primer
          • Operational-semantics
          • Pointers
          • Doc
          • Documentation-copyright
          • Course-materials
          • Publications
          • 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.