[Ice 001] math symbol sign x