Added missing case for lrel in definition of Symbol