plfa.github.io icon indicating copy to clipboard operation
plfa.github.io copied to clipboard
verified publisher icon plfa

Inconsistent `𝕍-sub`s and `sub-𝕍`s, and `𝔼-sub`s and `sub-𝔼`s in Adequacy

Open ShreckYe opened this issue 4 years ago • 0 comments

Currently, in Adequacy, there are 𝕍-subs and 𝔼-subs in the text and sub-𝕍s and sub-𝔼s in the code, which are inconsistent.

ShreckYe avatar Dec 13 '21 09:12 ShreckYe