Which is correct? $ egrep '(False|True)' Doc/lib/*.tex | grep -c \\constant{ 74 $ egrep '(False|True)' Doc/lib/*.tex | grep -c \\code{ 204 $ egrep 'None' Doc/lib/*.tex | grep -c \\code{ 512 $ egrep 'None' Doc/lib/*.tex | grep -c \\constant{ 83 n