HEAD~n
является n-м (большим) родителем коммита (здесь HEAD) после первых родителей
HEAD^n
является n-м родителем HEAD
Таким образом,
1010 *
HEAD~
является первым родителем ГОЛОВЫ (после первых родителей, что является спорным здесь) 1013 *
HEAD^
является первым родителем ГОЛОВЫ 1016 * Итак,
HEAD~ = HEAD~1 = HEAD^1 = HEAD^.
Они всегда указывают на один и тот же коммит.
Обратите внимание, что при этом HEAD~2 is equivalent to HEAD^^
и т. Д.