* 0 o \ a ^ b