From 9d808caba6f5a8b26954137618dc61dad0f57681 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 16 Sep 2024 13:02:54 +1200
Subject: [PATCH] Docs: Add note on $check

---
 docs/source/cell/word_formal.rst | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/docs/source/cell/word_formal.rst b/docs/source/cell/word_formal.rst
index df78eb0b2..6bfa19656 100644
--- a/docs/source/cell/word_formal.rst
+++ b/docs/source/cell/word_formal.rst
@@ -1,9 +1,14 @@
 Formal verification cells
 -------------------------
 
-.. TODO:: note on `$check`
+.. role:: yoscrypt(code)
+   :language: yoscrypt
 
-   If only I remembered what the note was...
+.. note::
+
+   Some front-ends may not support the generic `$check` cell, in such cases
+   calling :yoscrypt:`chformal -lower` will convert each `$check` cell into it's
+   equivalent.  See `chformal` for more.
 
 .. todo:: Describe formal cells