export const LINE_END = "\n";

export const BACKTICK = "`";

export const COLON = ":";

export const LIST_MARKER = "- ";

export const BOLD_MARK = "**";

export const LEAD_IN_SEPARATOR = " — ";

export const HEADING_MARK = "#";

export const GATE_TAIL = "· gate:";

export const LOCKED_MARKERS: readonly string[] = ["(LOCKED PROTOCOL)", "(LOCKED)"];

export const RULE_PREFIX = "RULE ";

export const NEVER_WORD = "NEVER ";

export const ALWAYS_WORD = "ALWAYS ";

export const ARROW = "→";

export const PAREN_OPEN = "(";

export const PAREN_CLOSE = ")";