Symbol: ttypenv