Uddrag fra Definitions, [Uldall] 034-0640

9o (continued) if both terminals are minor and variable (miv), then the relation is said to be a ? and is symbolized by a ~ b; .if one terminal is major and constant (mac) and the other minor and variable (miv), then the relation is said to be a selection and is symbolized by a <- <- b $mac-miv) or a -> -* b (miv-mac); if one terminal is major and variable (mav) and the other minor and constant (mic), then the relation is said to be a ? and is symbolized by a ~ «- b (mav-mic) or a ^ i) (mic-mav). NB Relations with the terminals mav-mac, mav-miv, mac-mic, or miv-mic do not seem to occur.