
! option                =       symbols
  wsh:caps_arrows	=       +wsh(caps_arrows)
