Tag factorial notation