quus

conjunction1

1. •
   Indicates the quaddition operation.

   • But Kripke's dummy quus function is not the 'real' quus function. — 2012