The doubly oxidized, antiaromatic tetraphenylporphyrin complex [Li(TPP)][BF4].