follmer-like notation added