Πεψενθε 

 

`and`(a = `+`(`/`(`*`(2, `*`(m)), `*`(sqrt(3)))), `+`(`/`(`*`(2, `*`(m)), `*`(sqrt(3)))) = `*`(`+`(`*`(2, `*`(sqrt(3), `*`(m)))), `/`(1, 3)))