Added logic symbols