Lines Matching refs:smallexample