Πεψενθε 

Image 

`implies`(`*`(tg, `*`(alpha)) = `/`(2, 5), `*`(sin, `*`(alpha)) = `+`(`/`(`*`(2), `*`(sqrt(29)))))