I only answered the first one, but it was my impression that 1c was generated by the computer as it used weird greek letters; I have never seen eta used in that setting before, and I doubt that a grad student or an undergrad would be inclined to break convention.