Tanaka Formula for Symmetric Lévy Processes