2 * a |)