We provide involutive proofs of various combinatorial identities for Euler numbers, including Carlitz’s symmetric function formulas for up-down permutations of a multiset and identities involving Stirling numbers, powers of 2 or 4 and Legendre transformation. In the course, q-analogs of known or new identities for Euler numbers are derived from the combinatorial perspective.