Symbol: ln2pi_lo