Lines Matching full:shorthand
1575 As a convenient shorthand, if any option settings are required at the start of1640 As a convenient shorthand, if any option settings are required at the start of2689 shorthand for computing a group number.
