This change renames the start and end delimiters used for quasiquoted entailments, replacing e with f to better reflect that the quoted content is a formula. The update touches both the OCaml debug/pretty-print path in context.ml and the remove-aliases.py parser so generated output and downstream alias rewriting stay in sync. It’s a small syntax cleanup, but it reduces ambiguity and keeps the tooling consistent around formula quasiquotes. Practical effect: formula snippets now use the clearer [f| ... |f] form everywhere.