MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Whichever definition you use that involves differentiating along a flow, it ought to have the property that $L_X X = 0$; in other words, for reasons that should be clear, the Lie derivative is alternating. In the presence of bilinearity, this is equivalent to antisymmetry.