From 2133606366fc47dd681210977db44680ed8c1bae Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Thu, 20 Jan 2022 17:21:32 -0800 Subject: [PATCH] Fix doc-tests: escape figure properly --- src/checker.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/checker.rs b/src/checker.rs index 7e670a6..6babeeb 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -45,11 +45,13 @@ //! //! The analysis lattice is: //! +//! ```plain //! Top (V) //! | //! 𝒫(V) // the Powerset of the set of virtual regs //! | //! Bottom ( ∅ ) // the empty set +//! ``` //! //! and the lattice ordering relation is the subset relation: S ≤ U //! iff S ⊆ U. The lattice meet-function is intersection.