Searched refs:dbrack (Results 1 – 2 of 2) sorted by relevance
262 double const dbrack[] = { variable426 {"llbracket", dbrack, 0 },427 {"rrbracket", dbrack, 2 },
156 \newcommand{\dbrack}[1]{\ldbrack #1 \rdbrack}