F1 <brace><<caret>]</brace> 3 < 5 <brace>[></brace> Decl;