Lines Matching full:assumption
2870 assumption that @code{\|} and @code{\+} match the literal characters
