macros.txt

\TODO:\htmlStyle{background-color:yellow;color:black;}{\textsf{TODO:}}
\typecolon:\mathrel{\raisebox{.3ex}{\tiny ⦂}}
\intersection:\cap
\union:\cup
\trunc:\lceil
\agrees:\preceq\hspace{-0.5em}\succeq
\conflicts:\hspace{0.5em}\big/\hspace{-1.06em}\agrees
\setof:\{\;#1\;\}
\Origin:\mathcal{O}
\dot:\mathsf{.}
\null:\varnothing
\tab:\hspace{2em}
\gets:\leftarrow

\let:\text{let }
\if:\text{if }
\otherwise:\text{otherwise.}
\then:\text{:}
\else:\text{else:}
\mut:\text{mut }
\Time:\mathsf{Time}
\Node:\mathsf{Node}
\starchain:\star\textsf{-chain}
\starblock:\star\textsf{-block}
\LOG:\mathsf{LOG}
\candidate:\mathsf{candidate}
\snapshot:\mathsf{snapshot}
\LF:\mathsf{LF}
\snapshotlf:\snapshot(\LF(#1)\kern-0.1em)
\checkpoint:\mathsf{checkpoint}
\boolean:\mathsf{boolean}
\true:\mathsf{true}
\false:\mathsf{false}
\len:\mathsf{len}
\tailhead:\mathsf{tailhead}
\proof:\mathsf{proof}
\height:\mathsf{height}
\score:\mathsf{score}
\tip:\mathsf{tip}
\besttip:\textsf{best-tip}
\lastcommonancestor:\textsf{last-common-ancestor}
\finalitydepth:\textsf{finality-depth}
\bftlastfinal:\textsf{bft-last-final}
\origbftlastfinal:\textsf{origbft-last-final}
\bftblock:\textsf{bft-block}
\bcblock:\textsf{bc-block}
\bcchain:\textsf{bc-chain}
\bcvalidchain:\textsf{bc-valid-chain}
\bctransaction:\textsf{bc-transaction}
\isstalledblock:\textsf{is-stalled-block}
\iscoinbaseonlyblock:\textsf{is-coinbase-only-block}
\updatefin:\textsf{update-fin}
\headersbc:\mathsf{headers\_bc}
\blockbc:\mathsf{block\_bc}
\bcisforked:\mathsf{bc\_is\_forked}
\contextbft:\mathsf{context\_bft}
\consistent:\mathsf{consistent}
\view:\mathsf{view}
\lsf:\mathsf{lsf}
\Score:\mathsf{Score}
\Ch:\mathsf{Ch}
\ch:\mathsf{ch}
\localfin:\mathsf{fin}\kern0.04em
\localba:\mathsf{ba}
\candidate:\mathsf{candidate}
\xlog:\mathsf{log}
\GST:\mathsf{GST}
\GAT:\mathsf{GAT}

\star:\mathrm{*}
\starbft:\mathrm{*bft}
\starbc:\mathrm{*bc}
\origbft:\mathrm{origbft}
\origbc:\mathrm{origbc}
\bft:\mathrm{bft}
\bc:\mathrm{bc}
\lc:\mathrm{lc}

\confirm:\mathrm{lc}
\fin:\mathrm{fin}
\ba:\mathrm{ba}
\da:\mathrm{da}